Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 2.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003511 | Christel Baier [Allemagne] ; Boudewijn Haverkort [Allemagne] ; Holger Hermanns [Pays-Bas] ; Joost-Pieter Katoen [Pays-Bas] | Automated Performance and Dependability Evaluation Using Model Checking |
| 005C11 | Marten Van Sinderen [Pays-Bas] ; Luís Ferreira Pires [Pays-Bas] ; Chris A. Vissers [Pays-Bas] ; Joost-Pieter Katoen [Pays-Bas] | A design model for open distributed processing systems |
| This area was generated with Dilib version V0.6.31. |  |